🔬 Hindley-Milner Implementation - abnv · Scour

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·48m

🧩Constraint Solvers

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Generalization and Completeness of Stochastic Local Search Algorithms

arxiv.org·1d

🔍Type Inference

Making a Language

thunderseethe.dev·7h

🔬programming language theory

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

🔗Parser Combinators

Binary Algorithms

exystence.net·1d

📡Binary Protocols

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·16h·

Discuss: DEV

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

Extended parameter-shift rules with minimal derivative variance for parameterized quantum circuits

link.aps.org·21h

🔀SSA Construction

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

λLambda Calculus

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Template Method Design Pattern

denvaar.dev·1d

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·20h·

Discuss: r/golang

📊Call Graphs

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Regularity bias in Solomonoff, transformers, and evolution

lesswrong.com·5h

🚂Error Propagation

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Hippocampus model implementing a Turing machine

pub.towardsai.net·1h

🧠Memory Models

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·21h·

Discuss: Hacker News

🔍ML Language

Loading more...